Logic optimization - PDFSEARCH.IO - Document Search Engine

Logic optimization
Results: 335

#	Item
111	IPPOLITA THE DARK SIDE OF GOOGLE A SERIES OF READERS Add to Reading List Source URL: networkcultures.org Language: English - Date: 2014-06-06 10:28:05 Google Search engine optimization Social information processing Human–computer interaction PageRank Internet privacy Internet Web 2.0 Logic Computing World Wide Web Digital media
112	Scheduling Sport Tournaments using Constraint Logic Programming Andrea Schaerf Dipartimento di Informatica e Sistemistica Universit` a di Roma “La Sapienza” Add to Reading List Source URL: www.diegm.uniud.it Language: English - Date: 2008-12-11 12:42:14 Applied mathematics Mathematical optimization Combinatorial optimization Complexity classes Constraint logic programming Logic programming Constraint Matching Assignment problem Theoretical computer science Constraint programming Computational complexity theory
113	SOFTWARE—PRACTICE AND EXPERIENCE Softw. Pract. Exper. 2003; 00:1–34 Prepared using speauth.cls [Version: v2.2] E ASY L OCAL ++: Add to Reading List Source URL: www.diegm.uniud.it Language: English - Date: 2008-12-11 12:42:14 Operations research Algorithm Mathematical logic Theoretical computer science Tabu search Local search Mathematical optimization Hill climbing Simulated annealing Mathematics Applied mathematics Search algorithms
114	Egalitarian-Equivalence and the Pareto Principle for Social Preferences∗ Koichi Tadenuma† This version: September 2002 First version: July 2002 Abstract Add to Reading List Source URL: cis.ier.hit-u.ac.jp Language: English - Date: 2014-07-01 09:03:33 Economic efficiency Mathematical optimization Pareto efficiency Mathematics Preference Metric Utility Universal quantification Logic Welfare economics Economics Game theory
115	Soundness and its Role in Bug Detection Systems Yichen Xie Mayur Naik Brian Hackett Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2005-07-07 17:38:30 Proof theory Software engineering Soundness Mathematical logic Usability Programming language Type system Compiler optimization Software bug Deduction Logic Model theory
116	Fluent Merging: A General Technique to Improve Reachability Heuristics and Factored Planning Menkes van den Briel Subbarao Kambhampati Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2012-10-29 18:19:38 Fluent Constraint programming Algebra FO Variable Distributed constraint optimization Mathematics Theoretical computer science Logic in computer science
117	Bug Isolation via Remote Program Sampling Ben Liblit † Alex Aiken † <> Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2003-04-12 19:08:27 Profiling Software optimization Sampling Software bug Null Predicate Sample Pin Logic Mathematical logic Computer programming
118	Manuel Hermenegildo Areas of Interest Advanced Program Development Technology, Global Program Analysis / Optimization / Verification, Abstract Interpretation, Abstract Machines, Parallelizing Compilers, Resource-Aware Di Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-08-06 12:15:35 Formal sciences International Conference on Logic Programming Logic programming Association for Computing Machinery CiteSeer Federated Logic Conference International Symposium on Logic-based Program Synthesis and Transformation Logic Lecture Notes in Computer Science Computer science Science Computing
119	A Competitive Algorithm for Minimizing Weighted Flow Time on Unrelated Machines with Speed Augmentation ∗ † Add to Reading List Source URL: www.cse.iitd.ernet.in Language: English - Date: 2009-04-07 02:29:29 Mathematical logic Function Mathematical optimization Mathematics Theoretical computer science Algorithm
120	INTEGER PROGRAMMING APPROACHES FOR AUTOMATED PLANNING by Menkes Hector Louis van den Briel A Dissertation Presented in Partial Fulfillment of the Requirements for the Degree Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2012-10-29 19:01:15 Mathematical optimization Automated planning and scheduling Linear programming AMPL Mathematical model Integer programming Scheduling Logic programming Algorithm Operations research Mathematics Applied mathematics

UPDATE